bitkeeper revision 1.753 (403e2103aB5fs34t3drynDYnNdeFiw)
authorkaf24@scramble.cl.cam.ac.uk <kaf24@scramble.cl.cam.ac.uk>
Thu, 26 Feb 2004 16:38:27 +0000 (16:38 +0000)
committerkaf24@scramble.cl.cam.ac.uk <kaf24@scramble.cl.cam.ac.uk>
Thu, 26 Feb 2004 16:38:27 +0000 (16:38 +0000)
commit786eceea0e7c263966133fdb473bfbad52538db5
treedd0e8027e5dbddf91b1ed6d693c0d6ded8f568dd
parent590b0f7e5777ee67495d4f7f3a78aeee5c892e54
bitkeeper revision 1.753 (403e2103aB5fs34t3drynDYnNdeFiw)

kernel.c, process.c:
  Fix bug in idle-task switching.
xen/arch/i386/process.c
xen/common/kernel.c